Termination analysis - PDFSEARCH.IO - Document Search Engine

Termination analysis
Results: 113

#	Item
41	Using CLP Simplifications to Improve Java Bytecode Termination Analysis Fausto Spoto1 Dipartimento di Informatica Universit` a di Verona Add to Reading List Source URL: www.secs.oakland.edu Language: English - Date: 2014-02-06 10:55:05
42	ENERGY TECHNOLOGY SYSTEMS ANALYSIS PROGRAMME TIMES Version 3.2 User Note TIMES Early Retirement of Capacity Add to Reading List Source URL: iea-etsap.org Language: English - Date: 2011-12-21 03:30:33 Statistics Differential equations Mathematical finance Markov processes Logistic function Aging Retirement Termination of employment
43	Procedural Level Generation Using Occupancy-Regulated Extension Peter Mawhorter, Michael Mateas Abstract— Existing approaches to procedural level generation in 2D platformer games are, with some notable exceptions, pro Add to Reading List Source URL: games.soe.ucsc.edu Language: English - Date: 2013-11-15 11:04:46 Termination analysis Internet standards Computer file formats Cognition Software Internet protocols Computing Chunk ACT-R
44	PRIMARY RESEARCH A meta-analysis of single base-pair substitutions in translational termination codons (‘nonstop’ mutations) that cause human inherited disease Add to Reading List Source URL: www.humgenomics.com Language: English
45	How to Win Patients and Influence Community Communication A Step by Step Guide for Looping your Community By Susan M. Lopez, Au.D. and Mary T. Caccavo, Ph.D. These days, we see a lot of articles and “buzz” about how Add to Reading List Source URL: www.loopwisconsin.com Language: English - Date: 2014-12-17 16:39:44 Otology Control flow Assistive technology Hearing aids Audiology Infinite loop Loop Vertical loop Termination analysis Medicine Health Computer programming
46	Multi-run security Arnar Birgisson and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. This paper explores information-flow control for batch-job programs that are allowed to be re Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:16 Cyberwarfare Information flow Information theory Memory leak RSA Computer security Termination analysis Batch file Vulnerability Electronic commerce Computing Security
47	Terminator II: Stopping Partial Evaluation of Fully Recursive Programs Master’s Thesis Arne John Glenstrup June 13, 1999 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:48 Partial evaluation Algorithm Computing Mathematics Software engineering Static program analysis Termination analysis
48	Implementation Notes for the Termination-Guaranteeing Binding-Time Analysis Arne John Glenstrup December 13, 2002 Abstract This note describes some of the implementation aspects of the termination analysis for partial ev Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:50 Symbol Spectral theory of ordinary differential equations Linear temporal logic
49	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
50	ENERGY TECHNOLOGY SYSTEMS ANALYSIS PROGRAMME TIMES Version 3.2 User Note TIMES Early Retirement of Capacity Add to Reading List Source URL: www.iea-etsap.org Language: English - Date: 2011-12-21 03:30:33 Statistics Differential equations Mathematical finance Markov processes Logistic function Aging Retirement Termination of employment